#include<stdio.h>

int main()
{
	int i = 0;
	for(i = 1; i<=10000; i++)
	{	
		printf("Hello Linux : %d\n",i);
	}
	return 0;
}

